DBG_UART_INTERFACE  := 0    # stdout, stdin (UART0)
ERR_UART_INTERFACE  := 0    # stderr        (UART0)
DBG_TEE_INTERFACE   := 1    # stdout copy   (UART1)
ERR_TEE_INTERFACE   := 1    # stderr copy   (UART1)

make BOARD=nrf9160dk_nrf9160 APP=examples/kernel/tasks prog

nrf9160dk starting...

nano RTOS (C) 2022-2026 nanortos.com
task 1  00000000      0.000
task 2  ffffffff      1.000
task 1  00000002      2.000
task 2  fffffffd      3.001
task 1  00000004      4.001
task 2  fffffffb      5.001
task 1  00000006      6.001
task 2  fffffff9      7.002
task 1  00000008      8.002
task 2  fffffff7      9.002
task 1  0000000a     10.002
